3

Subduction-driven Earth machine

Year:
2018
Language:
english
File:
PDF, 1.64 MB
english, 2018
5

The role of solid-solid phase transitions in mantle convection

Year:
2016
Language:
english
File:
PDF, 5.60 MB
english, 2016
6

Horizontal mantle flow controls subduction dynamics

Year:
2017
Language:
english
File:
PDF, 1.44 MB
english, 2017
17

XML schema, tree logic and sheaves automata

Year:
2006
Language:
english
File:
PDF, 490 KB
english, 2006
18

Resource control for synchronous cooperative threads

Year:
2006
Language:
english
File:
PDF, 365 KB
english, 2006
35

Water slip and friction at a solid surface

Year:
2008
Language:
english
File:
PDF, 719 KB
english, 2008
37

Region analysis and a π-calculus with groups

Year:
2002
Language:
english
File:
PDF, 621 KB
english, 2002
41

A logic you can count on

Year:
2004
Language:
english
File:
PDF, 168 KB
english, 2004